package cn.tsinghua.david.gc;

import cn.tsinghua.david.gc.obj.GCState;

/**
 * We will define some constants of Global Calculus here.
 * These strings should not appear as variable symbols.
 * @author David
 */
public class GCConstant {

	public static final String REC = "rec";
	public static final String INACTION = "0";
	public static final char PAR = '|';
	public static final char SUM = '+';
	public static final char SPLIT = '.';
	
	public static final char LBRACE = '{';
	public static final char RBRACE = '}';
	
	
	public static final GCState FINALGCSTATE = new GCState("0");
}

